You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 801 - 840 hits of 1035. Search took 0.00 seconds.

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

Search results for coq :

Filename	Distribution	File size
coq-8.4pl6-1.fc22.i686.rpm	Fedora 22	63960 kB	Info
coq-8.4pl5-2.fc21.x86_64.rpm	Fedora 21	64203 kB	Info
coq-8.4pl5-2.fc21.src.rpm	Fedora 21	3997 kB
coq-8.4pl5-2.fc21.i686.rpm	Fedora 21	63768 kB	Info
coq-8.4pl5-1.x86_64.rpm	PLD	43738 kB
coq-8.4pl5-1.src.rpm	PLD	3988 kB
coq-8.4pl5-1.i686.rpm	PLD	43398 kB
coq-8.4pl5-1.i486.rpm	PLD	43423 kB
coq-8.4pl4-1.fc20.x86_64.rpm	Fedora 20	63797 kB	Info
coq-8.4pl4-1.fc20.src.rpm	Fedora 20	3989 kB
coq-8.4pl4-1.fc20.i686.rpm	Fedora 20	62966 kB	Info
coq-8.4pl2-2.fc20.x86_64.rpm	Fedora 20	47318 kB	Info
coq-8.4pl2-2.fc20.src.rpm	Fedora 20	4063 kB
coq-8.4pl2-2.fc20.i686.rpm	Fedora 20	46424 kB	Info
coq-8.4pl2-1.fc19.x86_64.rpm	Fedora 19	46878 kB	Info
coq-8.4pl2-1.fc19.src.rpm	Fedora 19	4062 kB
coq-8.4pl2-1.fc19.i686.rpm	Fedora 19	46424 kB	Info
coq-8.4pl1-1.fc18.x86_64.rpm	Fedora 18	51612 kB	Info
coq-8.4pl1-1.fc18.src.rpm	Fedora 18	4058 kB
coq-8.4pl1-1.fc18.src.rpm	Fedora 18	4058 kB
coq-8.4pl1-1.fc18.i686.rpm	Fedora 18	50723 kB	Info
coq-8.4pl1-1.fc18.armv5tel.rpm	Fedora 18	50871 kB
coq-8.4-1.fc18.x86_64.rpm	Fedora 18	51996 kB	Info
coq-8.4-1.fc18.src.rpm	Fedora 18	4051 kB
coq-8.4-1.fc18.src.rpm	Fedora 18	4051 kB
coq-8.4-1.fc18.i686.rpm	Fedora 18	51113 kB	Info
coq-8.4-1.fc18.armv5tel.rpm	Fedora 18	51251 kB
coq-8.3pl3-2.fc17.x86_64.rpm	Fedora 17	42117 kB	Info
coq-8.3pl3-2.fc17.src.rpm	Fedora 17	3783 kB
coq-8.3pl3-2.fc17.i686.rpm	Fedora 17	41541 kB	Info
coq-8.3pl3-1mdv2010.2.x86_64.rpm	Mandriva 2010	36053 kB
coq-8.3pl3-1mdv2010.2.src.rpm	Mandriva 2010	3773 kB
coq-8.3pl3-1mdv2010.2.i586.rpm	Mandriva 2010	35454 kB	Info
coq-8.3pl3-1.src.rpm	Mandrake Other	3778 kB
coq-8.3pl3-1.src.rpm	Mandriva 2011	3779 kB
coq-8.3pl3-1-mdv2012.0.x86_64.rpm	Mandrake Other	35310 kB
coq-8.3pl3-1-mdv2012.0.i586.rpm	Mandrake Other	34815 kB	Info
coq-8.3pl3-1-mdv2011.0.x86_64.rpm	Mandriva 2011	35295 kB
coq-8.3pl3-1-mdv2011.0.i586.rpm	Mandriva 2011	34784 kB	Info
coq-8.3pl2-3.fc16.x86_64.rpm	Fedora 16	42091 kB	Info

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26